Nuprl Definition : equipollent
11,40
postcript
pdf
A
~
B
==
f
:
A
B
. Bij(
A
;
B
;
f
)
latex
Definitions
x
:
A
.
B
(
x
)
,
x
:
A
B
(
x
)
,
Bij(
A
;
B
;
f
)
FDL editor aliases
equipollent
origin
f:A
B. Bij(A;B;f) f:AB. Bij(A;B;f) x:A. B(x)B(x)